For the start of the new academic year of 2021-2022, We welcome three new PhD students! Nicolas Chappe will work on formalizing concurrent programs in Vellum with Yannick Zakowski and Matthieu Moy Hugo Thievenaz will work on polyhedral compilation schemes using dynamic analysis with Christophe Alias Thaïs Baudon will work on optimizing algebraic data types … Continue reading Three new PhD students